$\forall$$k$:$\mathbb{N}$, $f$:(\{0..$k$$^{-}$\}$\rightarrow\mathbb{B}$). $\mathbb{B}$size($k$;$f$) $\in$ \{0..($k$+1)$^{-}$\}